Algorithmic Debugging to Support Cognitive Diagnosis in Thtoring Systems

نویسنده

  • Claus Zinn
چکیده

Cognitive modelling in intelligent tutoring systems aims at identifying a learner's skills and knowledge from his answers to tutor questions and other observed behaviour. In this paper, we propose an innovative variant of Shapiro's algorithmic debugging technique whose application can be used to pin-point learners' erroneous behaviour in terms of an irreducible disagreement to the execution trace of an expert model. Our variant has two major benefits: in contrast to traditional approaches, it does not rely on an explicit encoding on mal-rules, and second, it induces a natural teacher-learner dialogue with no need for the prior scripting of individial turns or higher-level dialogue planning.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Algorithmic Debugging to Support Cognitive Diagnosis in Tutoring Systems

Cognitive modelling in intelligent tutoring systems aims at identifying a learner’s skills and knowledge from his answers to tutor questions and other observed behaviour. In this paper, we propose an innovative variant of Shapiro’s algorithmic debugging technique whose application can be used to pin-point learners’ erroneous behaviour in terms of an irreducible disagreement to the execution tra...

متن کامل

Algorithmic Debugging for Intelligent Tutoring: How to Use Multiple Models and Improve Diagnosis

Intelligent tutoring systems (ITSs) are capable to intelligently diagnose learners’ problem solving behaviour only in limited and well-defined contexts. Learners are expected to solve problems by closely following a single prescribed problem solving strategy, usually in a fixedorder, step by step manner. Learners failing to match expectations are often met with incorrect diagnoses even when hum...

متن کامل

Automatic Diagnosis of VLSI Digital Circuits Using Algorithmic Debugging

This paper discusses application of the technique of algorithmic debugging, originating from logic programming, to automatic diagnosis of VLSI digital circuits. In particular, the main aim of the presented work is to provide a method for smooth combination of different diagnosis techniques, where the use of logic specifications and algorithmic debugging plays an essential role. Examples of the ...

متن کامل

A Survey of Intelligent Debugging

Automated debugging systems have a long history with interesting results produced by research prototypes and deployed applications. We present an overview of Artificial Intelligence approaches to the development of intelligent debugging systems. These systems range from tutoring systems that possess detailed knowledge about the individual programs as well as about typical programmer errors occu...

متن کامل

Explanations and error diagnosis

The report proposes a theoretical approach of the debugging of constraint programs based on the notion of explanation tree (D1.1.1 and D1.1.2 part 2). The proposed approach is an attempt to adapt algorithmic debugging to constraint programming. In this theoretical framework for domain reduction, explanations are proof trees explaining value removals. These proof trees are defined by inductive d...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2013